The number of odd degree vertices is always even